COMPILER

NAME

SYNOPSIS

DESCRIPTION

code (+loop) ( n -- ) compilation

Performs the same action as "(loop)" but uses the top of stack value as the increment, "n", of the loop index. Checks if the loop limit has been exceeded. Compiled by the word "+loop".

code (.") ( -- ) compilation

Prints the in-line string on the current output stream. Compiled by the word "."".

code (;) ( -- ) compilation

Performs the run-time action of returning from a colon definition. Compiled by the word ";".

code (?branch) ( flag -- ) compilation

Performs the run-time action of conditionally branching in threaded code. If the "flag" is zero a branch is performed using a literal succeeding this word else the literal is skipped. The branch literal is the relative address. Compiled by the words "if", "while", "until", and "of".

code (?do) ( end start -- ) compilation

Performs the run-time action of initializing for a loop block if the "start" and "end" index are not equal else skips the block. Moves the two parameters, "end" and "start", to the return stack and a pointer to the relative address literal succeeding this word so that "leave" may be performed in any section of the looped block. Compiled by the word "?do".

code (abort") ( flag -- ) compilation

Performs the run-time action of checking the error "flag" and if non-zero, true, aborts the current computation. Uses an in-line string to display an abort message. Compiled by the word "abort"".

code (does>) ( -- ) compilation

Performs the run-time action of returning from the current colon definition and setting the code type of the last defined entry to be the code following "(does>)" thus giving it the right run-time action. Compiled by the word "does>".

code (branch) ( -- ) compilation

Performs the run-time action of branching in threaded code. Literal succeeding this word contains a relative address to the next thread. Compiled by the words "else", "again", "endof" and "repeat".

code (do) ( end start -- ) compilation

Performs the run-time action of initializing for a loop block. Moves the two parameters, "end" and "start", to the return stack and a pointer to the relative address literal succeeding this word so that "leave" may be performed in any section of the looped block. Compiled by the word "do".

code (literal) ( -- int) compilation

Pushes the in-line constant following the threaded code onto the parameter stack. Compiled by the words "literal" and "[']".

code (loop) ( -- ) compilation

Performs the run-time action of incrementing the loop index and checking it against the upper limit for the loop. If the index is still within the loop limit a branch is performed back to the beginning of the loop. The branch offset is stored in-line directly after the "(loop)" thread. Compiled by the word "loop".

code <mark ( -- marker) compilation

Marks the current position in the compilation code stream as a position for backwards branch.

code <resolve ( marker -- ) compilation

Allocates space for and calculates a backward branch offset.

code >mark ( -- marker) compilation

Allocates space for a branch offset and marks it for forward resolving.

code >resolve ( marker -- ) compilation

Resolves a forward branch offset.

vocabulary compiler ( -- )

Vocabulary containing the compilation word set. Compiler support, compiled words and threading primitives. Include into the vocabulary search set, "context", to allow access to these extensions.

code thread ( entry -- )

Used to create threaded code in the dictionary area. Allows code to be written without considering the threading principle.

code unthread ( addr -- entry)

Given a reference to threaded code returns an unthreaded entry pointer.

SEE ALSO

EXAMPLES

: if ( flag -- ) 
compile (?branch) >mark 
; compilation immediate

: then ( -- )
<resolve 
; compilation immediate

NOTE

WARNING

COPYING

Permission is granted to make and distribute verbatim copies of this manual provided the copyright notice and this permission notice are preserved on all copies.

Permission is granted to copy and distribute modified versions of this manual under the conditions for verbatim copying, provided also that the section entitled "GNU General Public License" is included exactly as in the original, and provided that the entire resulting derived work is distributed under the terms of a permission notice identical to this one.

Permission is granted to copy and distribute translations of this manual into another language, under the above conditions for modified versions, except that the section entitled "GNU General Public License" may be included in a translation approved by the author instead of in the original English.  

AUTHOR

Mikael R.K. Patel
Computer Aided Design Laboratory (CADLAB)
Department of Computer and Information Science
Linkoping University
S-581 83 LINKOPING
SWEDEN
Email: mip@ida.liu.se
SH "SEE ALSO"

Index

NAME

SYNOPSIS

DESCRIPTION

SEE ALSO

EXAMPLES

NOTE

WARNING

COPYING

AUTHOR